
public class StateObserverInv extends Element {

	StateObserverInvVis vis;

	/**
	 * 
	 * @return 
	 */
	public Sequence_Error check() {
		throw new UnsupportedOperationException();
	}

	/**
	 * 
	 * @param so
	 * @return 
	 */
	public void addStateObserver(StateObserver so) {
		throw new UnsupportedOperationException();
	}

	/**
	 * 
	 * @param so
	 * @return 
	 */
	public void addStateObservers(Sequence_StateObserver so) {
		throw new UnsupportedOperationException();
	}

	/**
	 * 
	 * @param so
	 * @return 
	 */
	public void deleteStateObserver(StateObserver so) {
		throw new UnsupportedOperationException();
	}

	/**
	 * 
	 * @param so
	 * @param SoInfonew
	 * @return 
	 */
	public void updateSO(StateObserver so, StateObserverInfo SoInfonew) {
		throw new UnsupportedOperationException();
	}

}